#ifndef TACHYON_C_ZK_PLONK_HALO2_TEST_BN254_HALO2_PARAMS_DATA_H_
#define TACHYON_C_ZK_PLONK_HALO2_TEST_BN254_HALO2_PARAMS_DATA_H_

#include <stdint.h>

namespace tachyon::c::zk::plonk::halo2::bn254 {

constexpr uint8_t kExpectedHalo2Params[] = {
    5,   0,   0,   0,   157, 13,  143, 197, 141, 67,  93,  211, 61,  11,  199,
    245, 40,  235, 120, 10,  44,  70,  121, 120, 111, 163, 110, 102, 47,  223,
    7,   154, 193, 119, 10,  14,  58,  27,  30,  139, 27,  135, 186, 166, 123,
    22,  142, 235, 81,  214, 241, 20,  88,  140, 242, 240, 222, 70,  221, 204,
    94,  190, 15,  52,  131, 239, 20,  28,  56,  234, 231, 195, 182, 96,  4,
    225, 105, 84,  142, 67,  139, 84,  11,  188, 236, 194, 10,  12,  180, 45,
    130, 194, 77,  1,   141, 9,   151, 115, 34,  19,  71,  253, 124, 216, 22,
    140, 32,  60,  141, 202, 113, 104, 145, 106, 129, 151, 93,  88,  129, 129,
    182, 69,  80,  184, 41,  160, 49,  225, 114, 78,  100, 4,   134, 77,  86,
    113, 25,  238, 235, 95,  131, 14,  18,  72,  241, 172, 172, 88,  170, 116,
    29,  234, 56,  12,  44,  202, 45,  255, 24,  120, 27,  123, 68,  38,  46,
    216, 138, 210, 53,  95,  85,  220, 82,  169, 129, 43,  19,  101, 57,  230,
    174, 175, 97,  145, 193, 124, 129, 104, 224, 228, 39,  102, 172, 126, 154,
    42,  167, 118, 44,  9,   246, 62,  119, 249, 186, 211, 160, 230, 117, 2,
    229, 151, 205, 177, 3,   17,  231, 11,  98,  201, 174, 17,  206, 56,  69,
    175, 125, 41,  88,  253, 74,  200, 245, 45,  56,  47,  80,  205, 143, 22,
    138, 200, 64,  84,  196, 187, 176, 222, 162, 68,  12,  250, 177, 12,  117,
    70,  216, 130, 251, 19,  17,  112, 115, 70,  6,   225, 145, 202, 11,  202,
    94,  79,  151, 210, 89,  185, 11,  198, 119, 43,  21,  130, 164, 116, 56,
    164, 245, 118, 159, 48,  105, 4,   107, 234, 170, 225, 214, 178, 88,  89,
    216, 204, 156, 205, 180, 36,  236, 51,  49,  79,  249, 201, 158, 116, 153,
    146, 185, 226, 127, 133, 47,  211, 7,   10,  68,  140, 183, 243, 39,  125,
    246, 138, 155, 244, 232, 13,  120, 188, 198, 205, 35,  227, 86,  23,  133,
    248, 83,  102, 194, 200, 126, 249, 145, 235, 207, 36,  143, 106, 116, 195,
    146, 43,  112, 229, 47,  208, 89,  177, 200, 31,  151, 198, 18,  226, 89,
    66,  159, 161, 94,  121, 21,  5,   137, 68,  41,  14,  191, 4,   158, 164,
    110, 142, 105, 202, 180, 42,  155, 138, 205, 85,  90,  146, 193, 253, 14,
    200, 236, 43,  227, 50,  99,  158, 206, 21,  162, 59,  142, 16,  151, 5,
    207, 23,  95,  126, 45,  223, 104, 156, 138, 96,  80,  181, 145, 208, 60,
    132, 42,  105, 120, 113, 156, 224, 11,  41,  78,  231, 42,  2,   90,  240,
    221, 11,  124, 65,  188, 172, 192, 85,  143, 84,  185, 116, 134, 158, 3,
    192, 214, 55,  69,  147, 84,  89,  249, 68,  81,  217, 40,  172, 221, 206,
    141, 242, 121, 29,  63,  64,  213, 20,  5,   133, 52,  23,  127, 70,  151,
    186, 204, 56,  249, 227, 52,  156, 242, 98,  160, 3,   39,  52,  85,  135,
    174, 80,  235, 81,  84,  21,  59,  116, 188, 170, 40,  138, 177, 162, 100,
    83,  171, 196, 147, 33,  52,  216, 174, 117, 78,  44,  128, 30,  160, 100,
    114, 141, 58,  145, 210, 4,   81,  12,  74,  32,  141, 222, 207, 119, 178,
    4,   157, 6,   133, 226, 55,  217, 218, 234, 225, 217, 238, 173, 107, 37,
    165, 49,  250, 192, 71,  54,  96,  166, 180, 33,  25,  30,  234, 104, 101,
    75,  157, 155, 17,  241, 104, 160, 15,  82,  206, 192, 0,   223, 116, 4,
    71,  222, 40,  56,  187, 66,  134, 113, 186, 229, 249, 44,  77,  141, 121,
    68,  174, 102, 32,  77,  186, 13,  3,   58,  47,  160, 233, 106, 64,  185,
    254, 172, 19,  190, 78,  2,   231, 125, 56,  58,  165, 240, 0,   35,  138,
    215, 146, 242, 102, 199, 192, 215, 172, 201, 79,  168, 64,  122, 106, 226,
    77,  154, 114, 209, 76,  16,  217, 255, 73,  144, 226, 109, 65,  12,  227,
    7,   40,  115, 130, 148, 226, 164, 65,  234, 13,  236, 164, 20,  90,  236,
    51,  144, 91,  155, 40,  246, 69,  70,  143, 177, 36,  56,  199, 95,  113,
    144, 227, 12,  229, 184, 25,  121, 193, 213, 11,  13,  241, 108, 80,  233,
    55,  238, 236, 190, 87,  25,  191, 14,  126, 198, 78,  183, 72,  189, 209,
    121, 176, 56,  166, 7,   253, 225, 143, 101, 35,  146, 164, 158, 113, 241,
    97,  214, 59,  3,   253, 76,  239, 27,  162, 246, 208, 60,  10,  112, 37,
    110, 203, 20,  120, 204, 221, 29,  37,  164, 36,  234, 130, 14,  159, 114,
    94,  52,  64,  50,  211, 227, 206, 242, 133, 244, 25,  59,  47,  181, 217,
    27,  81,  143, 111, 129, 180, 219, 8,   27,  14,  53,  214, 152, 94,  130,
    0,   182, 229, 44,  153, 76,  168, 157, 209, 203, 4,   21,  61,  137, 57,
    254, 1,   141, 244, 237, 77,  197, 133, 167, 43,  30,  29,  56,  219, 84,
    158, 48,  202, 4,   95,  188, 170, 18,  59,  29,  84,  58,  231, 65,  226,
    168, 219, 41,  152, 215, 35,  214, 168, 134, 177, 72,  21,  25,  182, 21,
    249, 178, 161, 164, 148, 235, 150, 163, 210, 109, 111, 142, 165, 66,  142,
    103, 111, 237, 247, 59,  214, 83,  84,  98,  77,  73,  45,  225, 220, 17,
    169, 137, 135, 240, 138, 56,  149, 205, 153, 60,  10,  167, 184, 206, 50,
    176, 229, 242, 203, 90,  206, 99,  146, 116, 50,  208, 207, 223, 40,  78,
    22,  40,  170, 139, 95,  18,  205, 114, 106, 238, 146, 107, 222, 47,  27,
    191, 72,  29,  162, 97,  70,  51,  187, 201, 236, 155, 17,  195, 196, 203,
    91,  32,  232, 40,  43,  86,  117, 118, 175, 207, 175, 51,  177, 18,  75,
    215, 186, 205, 128, 205, 140, 174, 34,  227, 28,  216, 31,  167, 168, 212,
    43,  144, 244, 183, 134, 25,  53,  17,  144, 188, 191, 36,  254, 102, 121,
    235, 186, 34,  239, 202, 149, 71,  192, 34,  94,  106, 198, 51,  79,  80,
    56,  137, 164, 42,  126, 81,  194, 32,  128, 100, 11,  43,  89,  27,  236,
    223, 114, 228, 103, 83,  98,  100, 176, 157, 95,  92,  238, 192, 206, 42,
    28,  205, 112, 10,  132, 150, 152, 166, 13,  15,  143, 206, 121, 187, 175,
    123, 129, 28,  111, 145, 231, 132, 195, 231, 161, 179, 66,  172, 203, 36,
    243, 178, 27,  248, 104, 141, 89,  10,  50,  77,  131, 32,  227, 104, 34,
    53,  251, 248, 145, 235, 103, 254, 180, 134, 185, 199, 161, 145, 22,  27,
    40,  210, 73,  49,  115, 79,  155, 170, 158, 97,  25,  138, 128, 10,  199,
    109, 129, 93,  81,  219, 73,  113, 151, 67,  41,  131, 119, 210, 123, 245,
    129, 103, 67,  140, 254, 238, 247, 164, 31,  122, 113, 196, 138, 35,  89,
    24,  236, 162, 24,  88,  240, 129, 178, 203, 119, 50,  39,  69,  43,  232,
    44,  127, 88,  175, 43,  233, 159, 191, 213, 155, 70,  30,  85,  21,  212,
    47,  124, 7,   181, 82,  204, 188, 224, 94,  70,  17,  69,  131, 74,  70,
    58,  112, 45,  184, 211, 85,  88,  161, 63,  96,  152, 99,  102, 204, 223,
    26,  130, 190, 212, 35,  186, 246, 72,  241, 252, 210, 52,  2,   54,  4,
    62,  164, 120, 221, 28,  106, 88,  45,  133, 9,   52,  127, 191, 83,  8,
    164, 114, 141, 183, 169, 156, 5,   138, 222, 161, 155, 205, 199, 228, 253,
    131, 95,  125, 136, 133, 144, 111, 26,  209, 230, 165, 129, 137, 66,  118,
    208, 130, 192, 137, 18,  30,  63,  91,  1,   187, 56,  177, 222, 59,  251,
    126, 139, 45,  165, 91,  56,  180, 37,  85,  222, 202, 89,  47,  61,  46,
    63,  104, 24,  235, 205, 114, 38,  213, 82,  52,  47,  78,  194, 57,  244,
    175, 138, 106, 162, 170, 59,  198, 187, 225, 67,  3,   227, 112, 114, 130,
    190, 110, 231, 197, 109, 174, 13,  239, 112, 232, 73,  4,   2,   32,  160,
    156, 3,   231, 203, 216, 103, 141, 67,  5,   168, 243, 191, 1,   40,  204,
    173, 165, 195, 133, 6,   58,  204, 108, 90,  69,  198, 231, 177, 123, 32,
    33,  2,   116, 244, 123, 19,  77,  33,  169, 158, 231, 62,  164, 216, 253,
    156, 182, 3,   84,  82,  93,  30,  93,  162, 203, 69,  139, 30,  116, 152,
    44,  24,  138, 212, 39,  255, 127, 12,  184, 87,  194, 54,  87,  43,  251,
    159, 203, 213, 233, 48,  72,  173, 130, 15,  147, 250, 45,  176, 97,  14,
    169, 191, 181, 9,   208, 111, 42,  103, 163, 62,  50,  245, 243, 111, 42,
    43,  253, 132, 181, 173, 28,  252, 160, 184, 132, 23,  55,  129, 208, 229,
    71,  89,  71,  159, 115, 26,  101, 15,  199, 117, 234, 68,  17,  193, 147,
    104, 180, 182, 7,   24,  83,  197, 199, 227, 180, 121, 189, 28,  226, 74,
    29,  53,  139, 40,  49,  192, 213, 21,  242, 227, 201, 151, 71,  22,  252,
    55,  213, 249, 172, 10,  51,  44,  95,  204, 139, 6,   244, 129, 116, 212,
    71,  59,  52,  227, 158, 62,  168, 104, 207, 8,   85,  10,  190, 171, 128,
    222, 55,  51,  231, 84,  191, 84,  148, 74,  194, 157, 44,  132, 246, 37,
    19,  218, 244, 210, 222, 163, 200, 254, 250, 240, 9,   22,  154, 171, 85,
    173, 159, 148, 119, 130, 27,  167, 156, 128, 96,  201, 253, 121, 65,  150,
    16,  193, 145, 160, 21,  61,  254, 171, 92,  130, 59,  188, 241, 9,   249,
    183, 97,  89,  159, 253, 45,  69,  138, 158, 170, 110, 164, 51,  200, 56,
    99,  64,  161, 215, 63,  109, 50,  128, 238, 7,   163, 167, 158, 149, 132,
    16,  52,  161, 161, 37,  71,  135, 63,  78,  242, 123, 175, 76,  153, 55,
    246, 155, 152, 44,  118, 222, 92,  180, 139, 113, 47,  217, 80,  143, 9,
    4,   249, 1,   79,  193, 162, 131, 224, 181, 75,  251, 242, 41,  171, 212,
    29,  86,  224, 252, 36,  65,  85,  125, 200, 81,  65,  102, 148, 154, 185,
    70,  184, 58,  16,  26,  150, 168, 184, 100, 0,   135, 237, 109, 87,  96,
    187, 182, 99,  58,  203, 157, 249, 218, 174, 138, 157, 1,   204, 144, 86,
    100, 141, 247, 132, 28,  142, 13,  191, 139, 229, 171, 169, 234, 31,  97,
    137, 16,  114, 8,   251, 161, 220, 61,  132, 67,  186, 5,   111, 189, 63,
    40,  167, 67,  145, 50,  177, 157, 19,  26,  251, 51,  189, 245, 252, 151,
    185, 11,  110, 20,  240, 109, 250, 135, 123, 252, 75,  144, 40,  243, 49,
    76,  222, 127, 16,  107, 189, 136, 26,  184, 241, 26,  58,  189, 202, 54,
    107, 125, 228, 46,  55,  153, 16,  24,  22,  103, 101, 204, 70,  185, 92,
    206, 17,  145, 14,  45,  200, 94,  157, 94,  72,  210, 227, 1,   252, 205,
    243, 157, 161, 141, 209, 196, 217, 9,   145, 186, 111, 229, 131, 33,  65,
    129, 217, 56,  107, 31,  178, 7,   123, 215, 24,  3,   207, 126, 48,  47,
    73,  232, 231, 216, 69,  201, 17,  219, 181, 51,  66,  66,  237, 177, 6,
    80,  25,  82,  220, 86,  149, 99,  141, 232, 206, 52,  142, 252, 155, 236,
    121, 39,  100, 168, 88,  72,  79,  142, 167, 166, 49,  190, 139, 195, 75,
    159, 11,  26,  205, 92,  190, 84,  16,  35,  133, 5,   224, 83,  80,  147,
    130, 148, 195, 39,  138, 26,  92,  144, 91,  253, 222, 174, 208, 146, 27,
    9,   80,  248, 251, 253, 221, 90,  21,  254, 228, 236, 184, 2,   23,  102,
    197, 103, 15,  48,  76,  42,  243, 118, 88,  19,  15,  109, 205, 194, 221,
    147, 135, 38,  102, 152, 15,  73,  58,  186, 246, 9,   107, 55,  171, 195,
    250, 189, 43,  30,  240, 23,  23,  33,  172, 115, 116, 93,  95,  72,  244,
    65,  240, 82,  140, 251, 86,  196, 241, 87,  8,   219, 122, 128, 8,   92,
    97,  46,  119, 216, 29,  56,  108, 147, 19,  37,  124, 126, 207, 129, 255,
    106, 77,  255, 230, 217, 158, 113, 47,  222, 38,  83,  102, 64,  106, 86,
    57,  18,  23,  220, 82,  103, 152, 120, 238, 70,  16,  3,   206, 44,  140,
    151, 8,   236, 203, 79,  143, 176, 108, 115, 206, 243, 58,  247, 94,  89,
    100, 219, 199, 19,  36,  172, 170, 127, 224, 231, 116, 204, 139, 2,   96,
    124, 224, 192, 227, 46,  155, 179, 150, 139, 72,  120, 68,  167, 2,   1,
    123, 37,  217, 178, 31,  15,  197, 78,  132, 56,  191, 174, 192, 110, 15,
    15,  223, 122, 129, 16,  253, 151, 207, 8,   44,  33,  95,  115, 173, 87,
    122, 102, 195, 22,  144, 250, 151, 72,  205, 37,  192, 133, 37,  231, 77,
    4,   127, 18,  191, 108, 219, 38,  153, 165, 18,  17,  242, 136, 42,  12,
    20,  99,  58,  222, 213, 2,   57,  95,  121, 165, 169, 112, 142, 99,  199,
    242, 47,  73,  214, 37,  186, 97,  6,   239, 104, 160, 124, 66,  4,   58,
    208, 55,  253, 230, 226, 101, 219, 241, 249, 159, 9,   132, 5,   1,   53,
    148, 157, 217, 90,  120, 141, 12,  52,  174, 198, 121, 165, 215, 127, 16,
    39,  243, 8,   229, 20,  198, 251, 144, 173, 121, 164, 54,  213, 223, 241,
    238, 228, 79,  108, 196, 142, 97,  254, 29,  181, 243, 128, 97,  200, 16,
    208, 226, 143, 156, 75,  60,  163, 60,  232, 213, 164, 215, 52,  89,  196,
    215, 161, 14,  3,   235, 10,  122, 238, 86,  88,  23,  88,  209, 54,  250,
    144, 56,  125, 6,   188, 161, 100, 30,  238, 52,  125, 62,  100, 82,  149,
    133, 24,  150, 42,  137, 93,  221, 136, 197, 210, 179, 31,  6,   152, 142,
    221, 22,  254, 51,  206, 49,  149, 189, 173, 47,  241, 85,  211, 255, 32,
    234, 4,   126, 85,  164, 243, 128, 101, 181, 96,  108, 122, 81,  2,   10,
    212, 135, 175, 121, 79,  138, 206, 40,  64,  155, 20,  235, 94,  86,  243,
    147, 147, 203, 229, 215, 168, 71,  19,  58,  230, 234, 15,  250, 215, 169,
    111, 11,  152, 5,   48,  106, 189, 191, 184, 199, 86,  170, 253, 166, 207,
    173, 127, 127, 168, 111, 74,  156, 146, 51,  207, 214, 117, 207, 186, 177,
    166, 31,  170, 5,   29,  147, 123, 83,  75,  149, 28,  218, 93,  122, 160,
    139, 70,  236, 200, 136, 145, 127, 200, 13,  129, 147, 35,  193, 2,   136,
    114, 98,  60,  172, 65,  21,  50,  246, 173, 98,  98,  158, 148, 212, 251,
    209, 62,  58,  109, 242, 105, 131, 196, 204, 127, 48,  240, 198, 99,  158,
    80,  214, 227, 20,  164, 31,  29,  20,  119, 2,   72,  100, 63,  234, 67,
    187, 178, 186, 177, 125, 142, 195, 134, 19,  216, 207, 43,  138, 227, 227,
    235, 157, 230, 210, 106, 251, 184, 158, 101, 1,   9,   120, 214, 189, 8,
    80,  167, 80,  51,  77,  103, 205, 191, 185, 115, 122, 17,  215, 109, 20,
    18,  201, 10,  116, 180, 166, 226, 94,  106, 147, 186, 38,  191, 0,   140,
    196, 22,  57,  176, 123, 174, 231, 244, 166, 12,  14,  246, 114, 163, 176,
    37,  226, 94,  202, 233, 186, 6,   27,  161, 3,   234, 76,  101, 7,   95,
    221, 213, 237, 62,  125, 116, 57,  137, 21,  221, 50,  76,  16,  231, 164,
    108, 248, 59,  105, 14,  150, 207, 132, 92,  121, 246, 186, 205, 69,  117,
    27,  152, 232, 160, 124, 53,  4,   243, 205, 133, 62,  152, 128, 192, 30,
    10,  24,  196, 242, 211, 72,  205, 216, 189, 30,  135, 10,  205, 124, 222,
    99,  125, 30,  69,  50,  94,  223, 55,  80,  175, 155, 184, 36,  93,  159,
    103, 109, 91,  63,  39,  118, 16,  15,  119, 215, 51,  244, 209, 124, 186,
    226, 215, 160, 201, 33,  253, 4,   77,  121, 112, 102, 217, 160, 103, 158,
    18,  206, 146, 205, 13,  84,  40,  104, 38,  33,  15,  169, 141, 133, 172,
    216, 61,  222, 177, 215, 209, 28,  40,  70,  105, 165, 210, 129, 251, 85,
    197, 33,  193, 233, 196, 26,  213, 49,  114, 252, 183, 32,  93,  127, 86,
    205, 44,  124, 115, 181, 22,  34,  75,  24,  56,  207, 56,  31,  101, 226,
    5,   85,  239, 99,  72,  158, 249, 201, 54,  120, 139, 10,  191, 192, 100,
    75,  147, 232, 179, 34,  2,   136, 101, 40,  138, 29,  182, 97,  186, 197,
    223, 218, 49,  75,  242, 224, 91,  30,  91,  23,  107, 218, 97,  34,  121,
    138, 59,  223, 34,  32,  162, 183, 161, 41,  74,  206, 169, 40,  239, 18,
    244, 114, 175, 136, 10,  99,  186, 141, 148, 180, 157, 180, 143, 147, 202,
    137, 169, 22,  80,  225, 156, 8,   106, 26,  196, 128, 82,  12,  248, 47,
    109, 14,  105, 226, 84,  214, 223, 223, 166, 34,  185, 148, 64,  144, 169,
    246, 122, 86,  161, 143, 24,  115, 183, 176, 51,  162, 246, 173, 18,  14,
    29,  42,  29,  181, 53,  112, 21,  106, 186, 126, 217, 174, 60,  153, 139,
    179, 37,  234, 88,  91,  83,  169, 215, 167, 133, 89,  50,  3,   65,  21,
    86,  52,  200, 4,   20,  83,  210, 22,  51,  218, 158, 10,  198, 64,  55,
    98,  173, 173, 84,  9,   103, 197, 171, 191, 232, 112, 32,  116, 32,  49,
    7,   90,  237, 68,  52,  44,  112, 101, 119, 99,  179, 24,  161, 204, 159,
    232, 243, 233, 238, 121, 77,  184, 161, 151, 140, 118, 251, 220, 228, 73,
    239, 97,  201, 129, 202, 11,  26,  44,  249, 168, 181, 15,  5,   21,  187,
    184, 170, 20,  121, 112, 31,  122, 180, 254, 18,  3,   110, 208, 22,  80,
    172, 1,   4,   126, 83,  65,  98,  182, 58,  36,  97,  222, 14,  75,  136,
    63,  180, 219, 22,  99,  110, 11,  217, 115, 119, 197, 14,  125, 21,  70,
    158, 195, 253, 86,  107, 3,   211, 189, 43,  88,  191, 31,  29,  190, 59,
    60,  70,  128, 198, 121, 179, 130, 165, 22,  77,  152, 152, 30,  131, 125,
    192, 222, 100, 193, 85,  232, 9,   70,  198, 169, 62,  80,  218, 15,  59,
    245, 32,  154, 111, 113, 154, 70,  179, 194, 29,  147, 172, 161, 147, 11,
    81,  191, 40,  195, 223, 236, 241, 229, 188, 155, 14,  241, 87,  187, 154,
    32,  144, 214, 17,  94,  156, 31,  134, 128, 205, 95,  220, 107, 172, 210,
    219, 121, 108, 36,  94,  13,  104, 135, 128, 255, 17,  116, 202, 153, 13,
    52,  224, 32,  166, 130, 0,   167, 87,  210, 128, 160, 43,  70,  158, 168,
    232, 241, 69,  139, 98,  66,  16,  173, 158, 112, 54,  246, 242, 146, 3,
    48,  144, 128, 76,  37,  92,  31,  161, 186, 46,  209, 27,  61,  99,  212,
    223, 219, 202, 51,  180, 0,   29,  201, 137, 85,  22,  220, 154, 205, 227,
    91,  81,  153, 193, 162, 165, 29,  14,  253, 145, 26,  11,  212, 183, 247,
    136, 232, 139, 14,  136, 51,  165, 147, 146, 79,  165, 75,  198, 73,  211,
    139, 243, 60,  233, 83,  9,   214, 175, 11,  196, 76,  214, 33,  150, 83,
    80,  58,  134, 93,  11,  242, 196, 21,  53,  206, 30,  107, 218, 42,  248,
    121, 99,  237, 17,  109, 87,  161, 59,  184, 196, 23,  60,  183, 69,  152,
    122, 152, 211, 239, 5,   6,   122, 75,  197, 105, 146, 165, 159, 34,  103,
    214, 44,  102, 49,  157, 17,  22,  26,  66,  0,   73,  206, 22,  136, 238,
    255, 44,  83,  86,  106, 50,  31,  128, 129, 102, 136, 182, 207, 111, 3,
    66,  21,  173, 3,   13,  221, 22,  70,  24,  96,  136, 69,  179, 76,  33,
    184, 21,  55,  168, 223, 238, 65,  36,  92,  180, 153, 64,  48,  119, 49,
    204, 97,  229, 178, 225, 96,  209, 90,  248, 25,  146, 226, 193, 237, 133,
    31,  6,   34,  43,  193, 57,  4,   0,   32,  68,  187, 250, 143, 123, 21,
    41,  16,  17,  101, 156, 60,  54,  82,  61,  135, 17,  40,  254, 190, 56,
    207, 24,  213, 22,  19,  4,   4,   109, 233, 150, 152, 216, 205, 184, 255,
    148, 73,  75,  3,   192, 40,  248, 119, 232, 210, 84,  81,  64,  79,  206,
    46,  244, 157, 145, 106, 14,  116, 47,  114, 154, 252, 142, 232, 214, 247,
    45,  20,  228, 242, 145, 123, 37,  25,  104, 175, 80,  107, 199, 32,  164,
    170, 190, 188, 90,  0,   98,  11,  17,  150, 145, 240, 92,  88,  249, 49,
    107, 50,  9,   91,  237, 241, 33,  46,  109, 229, 95,  67,  216, 14,  26,
    29,  241, 95,  230, 182, 250, 5,   46,  25,  6,   48,  221, 112, 222, 189,
    245, 115, 50,  175, 170, 251, 139, 134, 238, 134, 107, 136, 46,  24,  233,
    46,  190, 253, 236, 166, 255, 193, 136, 235, 190, 113, 47,  143, 177, 161,
    4,   206, 176, 235, 219, 123, 93,  126, 14,  167, 80,  202, 20,  41,  28,
    21,  27,  39,  3,   178, 135, 31,  184, 56,  164, 200, 158, 54,  25,  72,
    81,  68,  147, 76,  210, 209, 193, 77,  36,  46,  121, 181, 107, 211, 198,
    230, 180, 73,  65,  253, 22,  188, 225, 57,  157, 20,  114, 126, 240, 76,
    11,  246, 116, 1,   176, 158, 179, 201, 102, 249, 113, 110, 34,  77,  172,
    35,  99,  67,  55,  115, 121, 176, 83,  151, 219, 88,  102, 62,  140, 133,
    134, 97,  7,   210, 8,   128, 162, 146, 186, 227, 91,  193, 172, 169, 196,
    215, 113, 87,  81,  113, 113, 137, 40,  93,  102, 240, 112, 172, 40,  170,
    61,  121, 98,  133, 5,   194, 57,  64,  41,  161, 217, 5,   165, 173, 213,
    102, 71,  26,  209, 195, 172, 197, 252, 113, 155, 106, 34,  43,  7,   212,
    212, 210, 79,  199, 200, 47,  36,  155, 67,  164, 92,  135, 70,  107, 7,
    182, 198, 213, 226, 3,   218, 1,   209, 48,  66,  24,  136, 75,  255, 130,
    48,  159, 141, 83,  14,  225, 57,  103, 11,  27,  179, 101, 209, 150, 45,
    160, 221, 58,  22,  106, 63,  230, 116, 64,  51,  222, 207, 204, 154, 90,
    89,  242, 58,  163, 17,  80,  221, 65,  111, 26,  15,  183, 200, 17,  194,
    138, 236, 141, 104, 195, 154, 7,   39,  170, 198, 121, 192, 120, 180, 39,
    144, 106, 234, 214, 121, 170, 57,  131, 93,  110, 53,  34,  39,  48,  48,
    111, 114, 140, 36,  35,  58,  242, 21,  59,  147, 41,  65,  255, 233, 11,
    231, 184, 108, 135, 189, 229, 213, 91,  251, 210, 96,  11,  77,  227, 37,
    234, 1,   117, 219, 161, 125, 68,  7,   162, 92,  253, 97,  101, 95,  12,
    221, 70,  206, 107, 199, 125, 5,   111, 191, 72,  182, 236, 119, 185, 20,
    72,  23,  60,  236, 59,  172, 144, 174, 100, 126, 82,  190, 81,  225, 78,
    39,  93,  52,  239, 200, 184, 104, 106, 134, 55,  0,   39,  82,  233, 71,
    189, 79,  65,  17,  99,  20,  39,  82,  149, 246, 121, 63,  67,  196, 171,
    203, 222, 192, 242, 0,   133, 238, 250, 119, 140, 156, 133, 115, 174, 140,
    126, 4,   50,  207, 166, 34,  117, 98,  66,  149, 210, 17,  41,  148, 121,
    11,  71,  227, 232, 123, 229, 138, 75,  173, 5,   201, 113, 195, 85,  39,
    103, 122, 185, 137, 215, 78,  146, 37,  253, 72,  109, 143, 45,  250, 219,
    104, 61,  240, 222, 168, 197, 216, 134, 59,  194, 187, 92,  9,   225, 172,
    192, 243, 200, 242, 83,  17,  0,   14,  201, 19,  207, 135, 154, 142, 165,
    233, 208, 149, 188, 254, 197, 211, 70,  204, 16,  131, 108, 111, 191, 182,
    51,  51,  19,  165, 235, 253, 213, 95,  169, 93,  90,  22,  100, 29,  237,
    110, 213, 93,  88,  199, 171, 230, 225, 98,  235, 80,  4,   100, 100, 153,
    10,  218, 7,   176, 162, 29,  245, 110, 29,  35,  137, 184, 227, 4,   9,
    193, 182, 81,  216, 7,   27,  5,   28,  125, 171, 176, 61,  215, 57,  35,
    204, 73,  71,  85,  174, 120, 156, 147, 53,  189, 179, 40,  47,  174, 52,
    21,  111, 215, 68,  40,  19,  103, 173, 52,  122, 107, 216, 8,   157, 235,
    67,  108, 83,  17,  112, 211, 196, 211, 60,  216, 153, 29,  198, 79,  186,
    66,  213, 38,  110, 6,   97,  101, 175, 250, 138, 94,  241, 223, 154, 15,
    247, 60,  132, 102, 51,  169, 73,  63,  143, 132, 95,  233, 179, 103, 16,
    36,  29,  45,  31,  4,   38,  32,  188, 2,   209, 181, 131, 142, 114, 1,
    123, 73,  53,  25,  235, 220, 223, 26,  129, 151, 71,  38,  184, 251, 59,
    80,  150, 175, 65,  56,  87,  25,  64,  97,  76,  168, 125, 115, 180, 175,
    196, 216, 2,   88,  90,  221, 67,  96,  134, 47,  160, 82,  252, 80,  233,
    9,   107, 123, 234, 58,  131, 240, 254, 20,  246, 233, 107, 136, 157, 250,
    157, 97,  120, 155, 158, 245, 151, 210, 127, 254, 254, 125, 27,  35,  98,
    26,  158, 255, 6,   66,  158, 174, 235, 126, 253, 40,  238, 86,  24,  199,
    86,  91,  9,   100, 187, 60,  125, 50,  34,  249, 87,  220, 118, 16,  53,
    51,  190, 53,  249, 85,  130, 100, 253, 147, 230, 160, 164, 13,  121, 165,
    247, 42,  55,  174, 211, 66,  181, 147, 162, 192, 203, 9,   246, 210, 237,
    156, 248, 102, 97,  199, 193, 87,  66,  204, 242, 30,  57,  88,  232, 46,
    184, 114, 10,  146, 147, 224, 86,  168, 62,  63,  3,   109, 84,  106, 128,
    99,  236, 61,  84,  85,  250, 238, 126, 30,  144, 10,  60,  116, 245, 160,
    108, 5,   135, 37,  9,   92,  176, 164, 208, 188, 186, 246, 79,  173, 132,
    246, 119, 89,  89,  106, 233, 120, 237, 28,  222, 79,  46,  216, 24,  207,
    153, 15,  117, 2,   2,   91,  171, 63,  214, 115, 37,  51,  98,  240, 84,
    190, 229, 41,  52,  168, 244, 17,  1,   210, 195, 118, 227, 174, 125, 239,
    114, 146, 139, 59,  16,  14};

}  // namespace tachyon::c::zk::plonk::halo2::bn254

#endif  // TACHYON_C_ZK_PLONK_HALO2_TEST_BN254_HALO2_PARAMS_DATA_H_
